perm filename TRIANG.LSP[F82,JMC]1 blob sn#681041 filedate 1982-10-03 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	 triang.lsp[f82,jmc]	How many queens will fit in a triangle
C00042 ENDMK
CāŠ—;
;;; triang.lsp[f82,jmc]	How many queens will fit in a triangle
(declare (special rank1 pos))

(defun solutions (pos sols)
       (if (terp pos)
	   (if (winp pos) (cons (outform pos) sols) sols)
	   (do ((m (moves pos) (cdr m))
		(s1 sols (solutions (update (car m) pos) s1)))
	       ((null m) s1))))

(defun moves (pos)
       (cons 0 (do ((i 1 (1+ i))
		    (l nil (if (ok i (ranklist pos))
			       (cons i l)
			       l)))
		   ((= i (1+ (- n (filenum pos)))) l))))

(defun make-pos (u m n) (list u m n))

(defun ranklist (pos) ; a list of the ranks occupied in each file
       (car pos))	; 0 means the rank is unoccupied

(defun filenum (pos) ; the number of the first available file
       (cadr pos))

(defun nqueens (pos) ; the number of queens so far placed
       (caddr pos))


(defun ok (r list) (and (or (not (= r 1)) (not (< (filenum pos) rank1)))
			(ok1 r list 1)))

(defun ok1 (r list n)
       (or (null list)
	   (and (ok2 r (car list) n)
		(ok1 r (cdr list) (1+ n)))))

(defun ok2 (r r1 delta) (or (zerop r1) (not (or (= r r1)
						(= r (+ r1 delta))
						(= r (- r1 delta)) ))))

(defun terp (pos) (= n (filenum pos)))

(defun winp (pos) (not (< (nqueens pos) nwin)))

(defun update (m pos) (progn (if (null (ranklist pos)) (setq rank1 m))
			     (make-pos (cons m (ranklist pos))
				       (1+ (filenum pos))
				       (if (= m 0)
					   (nqueens pos)
					   (1+ (nqueens pos))))))

(defun outform (pos) (list (reverse (ranklist pos)) (nqueens pos)))

(setq rank1 0) ; used to avoid generating some symmetric solutions

(setq init-pos (make-pos nil 0 0))

(setq base (setq ibase 10.))

(defun test (m0 n0) (progn (setq n m0) (setq nwin n0)
			   (solutions init-pos nil)))

;bfun

;(untrace)
;(setq n 5)
;(setq nwin 4)
;(trace ok solutions moves update)
;(solutions (make-pos nil 0 0) nil)
;efun
;end
(test 3 2)
(((2. 0. 1.) 2.)) 
(test 4 2)
(((2. 0. 1. 0.) 2.) ((2. 0. 0. 1.) 2.) ((3. 0. 2. 0.) 2.) ((3. 0. 0. 1.) 
2.) ((4. 2. 0. 0.) 2.) ((0. 2. 0. 1.) 2.) ((0. 3. 1. 0.) 2.)) 
(test 5 3)
(((2. 4. 1. 0. 0.) 3.) ((2. 4. 0. 1. 0.) 3.) ((2. 0. 3. 1. 0.) 3.) ((3. 
0. 2. 0. 1.) 3.) ((4. 2. 0. 0. 1.) 3.)) 
(test 6 4)
(((2. 4. 1. 3. 0. 0.) 4.) ((2. 5. 3. 1. 0. 0.) 4.) ((3. 5. 2. 0. 1. 0.) 
4.) ((4. 2. 0. 3. 1. 0.) 4.)) 
(test 7 5)
(((3. 5. 2. 4. 1. 0. 0.) 5.) ((4. 2. 5. 3. 1. 0. 0.) 5.)) 
(test 8 6)
NIL 
(test 9 6)
(((2. 4. 6. 3. 5. 0. 1. 0. 0.) 6.) ((2. 5. 3. 6. 4. 0. 1. 0. 0.) 6.) ((2. 
5. 7. 4. 1. 3. 0. 0. 0.) 6.) ((2. 7. 5. 3. 1. 4. 0. 0. 0.) 6.) ((3. 5. 
7. 1. 4. 2. 0. 0. 0.) 6.) ((3. 5. 7. 2. 4. 0. 1. 0. 0.) 6.) ((3. 5. 7. 
4. 1. 0. 2. 0. 0.) 6.) ((3. 6. 2. 5. 1. 4. 0. 0. 0.) 6.) ((3. 6. 4. 1. 
5. 0. 2. 0. 0.) 6.) ((3. 6. 4. 2. 5. 0. 0. 1. 0.) 6.) ((3. 7. 4. 1. 5. 
2. 0. 0. 0.) 6.) ((3. 7. 4. 2. 5. 0. 1. 0. 0.) 6.) ((4. 2. 7. 5. 3. 1. 
0. 0. 0.) 6.) ((4. 6. 3. 5. 2. 0. 0. 0. 1.) 6.) ((4. 6. 3. 5. 0. 1. 0. 
2. 0.) 6.) ((4. 7. 3. 6. 2. 0. 1. 0. 0.) 6.) ((4. 7. 5. 2. 0. 1. 3. 0. 
0.) 6.) ((4. 7. 5. 3. 1. 0. 0. 2. 0.) 6.) ((4. 8. 3. 5. 2. 0. 1. 0. 0.) 
6.) ((4. 8. 5. 3. 1. 0. 2. 0. 0.) 6.) ((5. 2. 4. 6. 3. 0. 0. 1. 0.) 6.) 
((5. 2. 4. 6. 0. 3. 1. 0. 0.) 6.) ((5. 2. 6. 3. 0. 4. 1. 0. 0.) 6.) ((5. 
3. 6. 4. 2. 0. 0. 0. 1.) 6.) ((5. 3. 6. 4. 0. 1. 0. 2. 0.) 6.) ((5. 3. 
6. 0. 2. 4. 1. 0. 0.) 6.) ((5. 7. 2. 4. 0. 1. 3. 0. 0.) 6.) ((5. 7. 2. 
6. 3. 1. 0. 0. 0.) 6.) ((6. 3. 5. 2. 4. 0. 0. 0. 1.) 6.) ((6. 3. 7. 2. 
4. 0. 1. 0. 0.) 6.) ((6. 4. 2. 5. 3. 0. 0. 0. 1.) 6.) ((6. 4. 2. 0. 5. 
3. 1. 0. 0.) 6.)) 
(test 10 7)
(((4. 7. 3. 6. 2. 5. 1. 0. 0. 0.) 7.) ((4. 7. 5. 2. 6. 1. 3. 0. 0. 0.) 
7.) ((5. 7. 2. 4. 6. 1. 3. 0. 0. 0.) 7.) ((5. 7. 2. 6. 3. 1. 4. 0. 0. 0.) 
7.) ((6. 4. 2. 7. 5. 3. 1. 0. 0. 0.) 7.)) 
(test 11 8)
NIL 
(test 12 8)
(setq foo '(((2. 5. 7. 9. 3. 6. 4. 1. 0. 0. 0. 0.) 8.) ((2. 5. 7. 9. 4. 6. 1. 3. 
0. 0. 0. 0.) 8.) ((2. 5. 8. 4. 7. 3. 6. 0. 1. 0. 0. 0.) 8.) ((2. 6. 9. 
7. 4. 1. 3. 5. 0. 0. 0. 0.) 8.) ((2. 7. 3. 6. 8. 5. 1. 4. 0. 0. 0. 0.) 
8.) ((2. 7. 5. 3. 8. 6. 4. 0. 1. 0. 0. 0.) 8.) ((2. 7. 5. 8. 1. 4. 6. 3. 
0. 0. 0. 0.) 8.) ((2. 9. 6. 3. 7. 4. 1. 5. 0. 0. 0. 0.) 8.) ((2. 9. 6. 
4. 7. 1. 3. 5. 0. 0. 0. 0.) 8.) ((3. 5. 7. 9. 4. 6. 1. 0. 2. 0. 0. 0.) 
8.) ((3. 6. 8. 1. 4. 7. 5. 2. 0. 0. 0. 0.) 8.) ((3. 6. 8. 1. 5. 7. 2. 4. 
0. 0. 0. 0.) 8.) ((3. 6. 9. 2. 5. 7. 4. 1. 0. 0. 0. 0.) 8.) ((3. 6. 9. 
5. 8. 1. 4. 2. 0. 0. 0. 0.) 8.) ((3. 6. 9. 7. 1. 4. 2. 5. 0. 0. 0. 0.) 
8.) ((3. 6. 10. 7. 4. 1. 5. 2. 0. 0. 0. 0.) 8.) ((3. 7. 2. 8. 6. 4. 1. 
5. 0. 0. 0. 0.) 8.) ((3. 7. 4. 8. 5. 2. 6. 0. 0. 1. 0. 0.) 8.) ((3. 7. 
10. 4. 6. 1. 5. 2. 0. 0. 0. 0.) 8.) ((3. 8. 4. 7. 1. 6. 2. 5. 0. 0. 0. 
0.) 8.) ((3. 8. 6. 4. 1. 7. 5. 0. 2. 0. 0. 0.) 8.) ((3. 8. 6. 4. 2. 7. 
5. 0. 0. 1. 0. 0.) 8.) ((3. 8. 6. 9. 2. 5. 1. 4. 0. 0. 0. 0.) 8.) ((3. 
9. 4. 8. 5. 2. 6. 1. 0. 0. 0. 0.) 8.) ((3. 9. 6. 2. 5. 7. 1. 4. 0. 0. 0. 
0.) 8.) ((3. 9. 6. 4. 1. 7. 5. 2. 0. 0. 0. 0.) 8.) ((3. 9. 6. 4. 2. 7. 
5. 0. 1. 0. 0. 0.) 8.) ((3. 9. 7. 2. 4. 6. 1. 5. 0. 0. 0. 0.) 8.) ((3. 
9. 7. 5. 2. 6. 1. 0. 4. 0. 0. 0.) 8.) ((3. 10. 4. 7. 5. 2. 6. 1. 0. 0. 
0. 0.) 8.) ((4. 6. 3. 9. 7. 5. 2. 0. 1. 0. 0. 0.) 8.) ((4. 6. 8. 2. 5. 
7. 0. 1. 3. 0. 0. 0.) 8.) ((4. 6. 8. 2. 7. 1. 3. 5. 0. 0. 0. 0.) 8.) ((4. 
6. 8. 3. 1. 7. 5. 2. 0. 0. 0. 0.) 8.) ((4. 6. 8. 3. 5. 7. 2. 0. 0. 0. 1. 
0.) 8.) ((4. 6. 8. 3. 5. 7. 0. 1. 0. 2. 0. 0.) 8.) ((4. 6. 8. 3. 7. 0. 
2. 5. 1. 0. 0. 0.) 8.) ((4. 6. 8. 5. 7. 1. 3. 0. 0. 0. 2. 0.) 8.) ((4. 
6. 8. 5. 7. 1. 0. 2. 0. 3. 0. 0.) 8.) ((4. 6. 9. 3. 5. 7. 2. 0. 0. 1. 0. 
0.) 8.) ((4. 6. 10. 2. 7. 5. 3. 1. 0. 0. 0. 0.) 8.) ((4. 6. 10. 5. 7. 1. 
3. 0. 2. 0. 0. 0.) 8.) ((4. 7. 3. 8. 6. 2. 0. 5. 1. 0. 0. 0.) 8.) ((4. 
7. 5. 8. 2. 0. 6. 3. 1. 0. 0. 0.) 8.) ((4. 7. 5. 8. 6. 1. 3. 0. 0. 0. 2. 
0.) 8.) ((4. 7. 5. 8. 6. 1. 0. 2. 0. 3. 0. 0.) 8.) ((4. 7. 9. 2. 6. 1. 
3. 5. 0. 0. 0. 0.) 8.) ((4. 7. 9. 3. 6. 2. 0. 5. 1. 0. 0. 0.) 8.) ((4. 
7. 9. 6. 2. 5. 1. 0. 0. 3. 0. 0.) 8.) ((4. 7. 9. 6. 3. 1. 0. 5. 2. 0. 0. 
0.) 8.) ((4. 7. 10. 3. 6. 2. 5. 0. 1. 0. 0. 0.) 8.) ((4. 8. 3. 5. 7. 1. 
6. 0. 2. 0. 0. 0.) 8.) ((4. 8. 3. 5. 7. 2. 6. 0. 0. 1. 0. 0.) 8.) ((4. 
8. 3. 9. 6. 2. 5. 1. 0. 0. 0. 0.) 8.) ((4. 8. 10. 3. 6. 2. 5. 1. 0. 0. 
0. 0.) 8.) ((4. 8. 10. 5. 2. 6. 1. 3. 0. 0. 0. 0.) 8.) ((4. 9. 3. 5. 7. 
1. 6. 2. 0. 0. 0. 0.) 8.) ((4. 9. 3. 5. 7. 2. 6. 0. 1. 0. 0. 0.) 8.) ((4. 
9. 3. 6. 2. 7. 5. 1. 0. 0. 0. 0.) 8.) ((4. 9. 5. 8. 1. 3. 6. 2. 0. 0. 0. 
0.) 8.) ((4. 9. 5. 8. 2. 7. 3. 1. 0. 0. 0. 0.) 8.) ((4. 9. 7. 3. 1. 6. 
2. 5. 0. 0. 0. 0.) 8.) ((4. 9. 7. 5. 2. 6. 1. 0. 0. 3. 0. 0.) 8.) ((4. 
9. 7. 5. 3. 1. 6. 0. 0. 2. 0. 0.) 8.) ((4. 10. 7. 5. 3. 1. 6. 0. 2. 0. 
0. 0.) 8.) ((4. 10. 8. 5. 3. 1. 6. 2. 0. 0. 0. 0.) 8.) ((4. 11. 7. 3. 6. 
2. 5. 1. 0. 0. 0. 0.) 8.) ((4. 11. 7. 5. 2. 6. 1. 3. 0. 0. 0. 0.) 8.) ((5. 
2. 6. 9. 7. 4. 1. 3. 0. 0. 0. 0.) 8.) ((5. 2. 9. 6. 3. 7. 4. 1. 0. 0. 0. 
0.) 8.) ((5. 2. 9. 6. 4. 7. 1. 3. 0. 0. 0. 0.) 8.) ((5. 3. 6. 9. 7. 1. 
4. 2. 0. 0. 0. 0.) 8.) ((5. 3. 6. 9. 7. 2. 4. 0. 1. 0. 0. 0.) 8.) ((5. 
3. 6. 9. 7. 4. 1. 0. 2. 0. 0. 0.) 8.) ((5. 3. 8. 4. 7. 1. 6. 2. 0. 0. 0. 
0.) 8.) ((5. 3. 9. 6. 8. 2. 4. 1. 0. 0. 0. 0.) 8.) ((5. 3. 9. 7. 2. 4. 
6. 1. 0. 0. 0. 0.) 8.) ((5. 7. 2. 6. 8. 1. 4. 0. 3. 0. 0. 0.) 8.) ((5. 
7. 4. 6. 8. 2. 0. 3. 0. 0. 1. 0.) 8.) ((5. 7. 4. 6. 8. 2. 0. 0. 3. 1. 0. 
0.) 8.) ((5. 7. 4. 6. 8. 0. 1. 3. 0. 2. 0. 0.) 8.) ((5. 7. 9. 3. 6. 4. 
1. 0. 0. 0. 2. 0.) 8.) ((5. 7. 9. 3. 8. 2. 4. 0. 1. 0. 0. 0.) 8.) ((5. 
7. 9. 3. 8. 4. 1. 0. 2. 0. 0. 0.) 8.) ((5. 7. 9. 4. 2. 0. 6. 3. 1. 0. 0. 
0.) 8.) ((5. 7. 9. 4. 6. 1. 3. 0. 0. 0. 2. 0.) 8.) ((5. 7. 9. 4. 6. 1. 
0. 2. 0. 3. 0. 0.) 8.) ((5. 7. 9. 4. 8. 1. 3. 0. 2. 0. 0. 0.) 8.) ((5. 
7. 9. 6. 3. 1. 4. 0. 0. 0. 2. 0.) 8.) ((5. 7. 10. 3. 6. 4. 1. 0. 0. 2. 
0. 0.) 8.) ((5. 7. 10. 4. 6. 1. 3. 0. 0. 2. 0. 0.) 8.) ((5. 7. 10. 6. 3. 
1. 4. 0. 0. 2. 0. 0.) 8.) ((5. 7. 10. 6. 3. 1. 0. 4. 2. 0. 0. 0.) 8.) ((5. 
8. 2. 7. 3. 6. 0. 1. 4. 0. 0. 0.) 8.) ((5. 8. 2. 9. 3. 6. 4. 1. 0. 0. 0. 
0.) 8.) ((5. 8. 2. 9. 6. 3. 1. 4. 0. 0. 0. 0.) 8.) ((5. 8. 4. 7. 3. 6. 
2. 0. 0. 0. 0. 1.) 8.) ((5. 8. 4. 7. 3. 6. 0. 1. 0. 0. 2. 0.) 8.) ((5. 
8. 4. 7. 3. 0. 6. 1. 0. 2. 0. 0.) 8.) ((5. 8. 4. 7. 0. 2. 6. 1. 3. 0. 0. 
0.) 8.) ((5. 8. 4. 9. 3. 6. 2. 0. 0. 1. 0. 0.) 8.) ((5. 8. 4. 9. 7. 3. 
1. 0. 2. 0. 0. 0.) 8.) ((5. 8. 6. 3. 7. 2. 4. 0. 0. 0. 0. 1.) 8.) ((5. 
8. 6. 3. 7. 2. 0. 0. 4. 1. 0. 0.) 8.) ((5. 8. 6. 3. 0. 7. 1. 4. 2. 0. 0. 
0.) 8.) ((5. 8. 6. 4. 2. 7. 0. 3. 0. 0. 1. 0.) 8.) ((5. 8. 6. 4. 2. 7. 
0. 0. 3. 1. 0. 0.) 8.) ((5. 8. 6. 9. 3. 1. 4. 0. 0. 2. 0. 0.) 8.) ((5. 
8. 6. 9. 3. 1. 0. 4. 2. 0. 0. 0.) 8.) ((5. 8. 10. 3. 7. 2. 4. 1. 0. 0. 
0. 0.) 8.) ((5. 9. 2. 6. 8. 3. 1. 4. 0. 0. 0. 0.) 8.) ((5. 9. 4. 6. 8. 
2. 0. 1. 3. 0. 0. 0.) 8.) ((5. 9. 4. 6. 8. 3. 1. 0. 0. 2. 0. 0.) 8.) ((5. 
9. 6. 3. 7. 4. 1. 0. 0. 0. 2. 0.) 8.) ((5. 9. 6. 4. 2. 7. 3. 0. 0. 0. 1. 
0.) 8.) ((5. 9. 6. 4. 7. 1. 3. 0. 0. 0. 2. 0.) 8.) ((5. 9. 6. 4. 7. 1. 
0. 2. 0. 3. 0. 0.) 8.) ((5. 10. 2. 6. 3. 7. 4. 1. 0. 0. 0. 0.) 8.) ((5. 
10. 4. 6. 8. 3. 1. 0. 2. 0. 0. 0.) 8.) ((5. 10. 6. 4. 2. 7. 3. 0. 0. 1. 
0. 0.) 8.) ((5. 10. 6. 4. 2. 7. 0. 3. 1. 0. 0. 0.) 8.) ((5. 10. 6. 9. 2. 
4. 1. 3. 0. 0. 0. 0.) 8.) ((5. 10. 6. 9. 3. 1. 4. 2. 0. 0. 0. 0.) 8.) ((5. 
10. 8. 4. 2. 7. 3. 1. 0. 0. 0. 0.) 8.) ((5. 11. 4. 7. 3. 6. 2. 0. 1. 0. 
0. 0.) 8.) ((5. 11. 6. 3. 7. 2. 4. 0. 1. 0. 0. 0.) 8.) ((5. 11. 6. 3. 7. 
4. 1. 0. 2. 0. 0. 0.) 8.) ((5. 11. 6. 4. 7. 1. 3. 0. 2. 0. 0. 0.) 8.) ((6. 
2. 5. 8. 4. 7. 3. 0. 0. 1. 0. 0.) 8.) ((6. 2. 5. 8. 4. 7. 0. 3. 1. 0. 0. 
0.) 8.) ((6. 2. 9. 5. 8. 4. 1. 3. 0. 0. 0. 0.) 8.) ((6. 2. 10. 5. 7. 4. 
1. 3. 0. 0. 0. 0.) 8.) ((6. 3. 7. 2. 8. 5. 1. 4. 0. 0. 0. 0.) 8.) ((6. 
3. 7. 4. 8. 5. 2. 0. 0. 0. 1. 0.) 8.) ((6. 3. 7. 4. 8. 5. 0. 1. 0. 2. 0. 
0.) 8.) ((6. 3. 9. 4. 8. 5. 2. 0. 1. 0. 0. 0.) 8.) ((6. 3. 9. 7. 4. 2. 
0. 5. 1. 0. 0. 0.) 8.) ((6. 3. 9. 7. 5. 2. 0. 1. 4. 0. 0. 0.) 8.) ((6. 
3. 10. 4. 7. 5. 2. 0. 1. 0. 0. 0.) 8.) ((6. 3. 10. 7. 4. 2. 5. 0. 1. 0. 
0. 0.) 8.) ((6. 3. 10. 8. 5. 2. 4. 1. 0. 0. 0. 0.) 8.) ((6. 4. 2. 8. 5. 
7. 1. 3. 0. 0. 0. 0.) 8.) ((6. 4. 7. 5. 8. 2. 0. 3. 0. 0. 1. 0.) 8.) ((6. 
4. 7. 5. 8. 2. 0. 0. 3. 1. 0. 0.) 8.) ((6. 4. 7. 5. 8. 0. 1. 3. 0. 2. 0. 
0.) 8.) ((6. 4. 9. 5. 8. 2. 0. 3. 1. 0. 0. 0.) 8.) ((6. 4. 9. 7. 3. 0. 
2. 5. 1. 0. 0. 0.) 8.) ((6. 4. 9. 7. 5. 3. 1. 0. 0. 0. 2. 0.) 8.) ((6. 
4. 10. 7. 5. 2. 0. 1. 3. 0. 0. 0.) 8.) ((6. 4. 10. 7. 5. 3. 1. 0. 0. 2. 
0. 0.) 8.) ((6. 4. 10. 8. 3. 5. 2. 0. 1. 0. 0. 0.) 8.) ((6. 4. 10. 8. 5. 
3. 1. 0. 2. 0. 0. 0.) 8.) ((6. 8. 3. 5. 7. 2. 4. 0. 0. 0. 0. 1.) 8.) ((6. 
8. 3. 5. 7. 2. 0. 0. 4. 1. 0. 0.) 8.) ((6. 8. 3. 7. 4. 2. 5. 0. 0. 0. 0. 
1.) 8.) ((6. 8. 3. 7. 4. 2. 0. 5. 0. 0. 1. 0.) 8.) ((6. 8. 3. 7. 4. 0. 
1. 5. 0. 2. 0. 0.) 8.) ((6. 8. 3. 7. 0. 2. 5. 1. 4. 0. 0. 0.) 8.) ((6. 
8. 5. 2. 4. 7. 0. 3. 0. 0. 1. 0.) 8.) ((6. 8. 5. 2. 4. 7. 0. 0. 3. 1. 0. 
0.) 8.) ((6. 8. 5. 2. 0. 7. 4. 1. 3. 0. 0. 0.) 8.) ((6. 9. 2. 4. 8. 3. 
5. 0. 1. 0. 0. 0.) 8.) ((6. 9. 2. 5. 7. 4. 1. 0. 0. 3. 0. 0.) 8.) ((6. 
9. 2. 8. 5. 3. 1. 0. 4. 0. 0. 0.) 8.) ((6. 9. 3. 5. 7. 4. 1. 0. 0. 0. 2. 
0.) 8.) ((6. 9. 3. 5. 8. 4. 1. 0. 0. 2. 0. 0.) 8.) ((6. 9. 3. 8. 4. 2. 
0. 5. 1. 0. 0. 0.) 8.) ((6. 9. 5. 2. 4. 7. 3. 0. 0. 0. 1. 0.) 8.) ((6. 
9. 5. 2. 8. 3. 0. 4. 1. 0. 0. 0.) 8.) ((6. 9. 7. 2. 8. 3. 1. 4. 0. 0. 0. 
0.) 8.) ((6. 10. 2. 5. 8. 4. 1. 3. 0. 0. 0. 0.) 8.) ((6. 10. 2. 7. 5. 3. 
1. 0. 4. 0. 0. 0.) 8.) ((6. 10. 3. 5. 8. 2. 4. 0. 1. 0. 0. 0.) 8.) ((6. 
10. 3. 5. 8. 4. 1. 0. 2. 0. 0. 0.) 8.) ((6. 10. 3. 7. 4. 2. 0. 5. 1. 0. 
0. 0.) 8.) ((6. 10. 5. 2. 4. 7. 3. 0. 0. 1. 0. 0.) 8.) ((6. 10. 5. 2. 4. 
7. 0. 3. 1. 0. 0. 0.) 8.) ((6. 11. 2. 5. 7. 4. 1. 3. 0. 0. 0. 0.) 8.) ((6. 
11. 2. 7. 5. 3. 1. 4. 0. 0. 0. 0.) 8.) ((6. 11. 3. 5. 7. 2. 4. 0. 1. 0. 
0. 0.) 8.) ((6. 11. 3. 5. 7. 4. 1. 0. 2. 0. 0. 0.) 8.) ((6. 11. 3. 7. 4. 
2. 5. 0. 1. 0. 0. 0.) 8.) ((7. 2. 4. 6. 8. 3. 5. 0. 0. 1. 0. 0.) 8.) ((7. 
2. 4. 6. 8. 5. 0. 1. 3. 0. 0. 0.) 8.) ((7. 3. 6. 9. 2. 5. 0. 4. 1. 0. 0. 
0.) 8.) ((7. 3. 8. 2. 4. 6. 0. 5. 1. 0. 0. 0.) 8.) ((7. 3. 8. 6. 2. 0. 
5. 1. 4. 0. 0. 0.) 8.) ((7. 4. 2. 5. 8. 6. 3. 0. 0. 1. 0. 0.) 8.) ((7. 
4. 2. 5. 8. 6. 0. 3. 1. 0. 0. 0.) 8.) ((7. 4. 2. 9. 6. 3. 5. 0. 1. 0. 0. 
0.) 8.) ((7. 4. 6. 8. 2. 5. 3. 0. 0. 0. 0. 1.) 8.) ((7. 4. 6. 8. 2. 5. 
0. 0. 1. 3. 0. 0.) 8.) ((7. 4. 6. 9. 2. 5. 3. 0. 0. 0. 1. 0.) 8.) ((7. 
4. 6. 9. 2. 0. 5. 3. 1. 0. 0. 0.) 8.) ((7. 4. 8. 3. 0. 6. 2. 5. 1. 0. 0. 
0.) 8.) ((7. 4. 8. 5. 2. 6. 3. 0. 0. 0. 0. 1.) 8.) ((7. 4. 8. 5. 2. 6. 
0. 0. 1. 3. 0. 0.) 8.) ((7. 4. 10. 5. 2. 6. 3. 0. 0. 1. 0. 0.) 8.) ((7. 
4. 10. 5. 2. 6. 0. 3. 1. 0. 0. 0.) 8.) ((7. 4. 10. 8. 2. 5. 3. 1. 0. 0. 
0. 0.) 8.) ((7. 5. 2. 8. 6. 0. 3. 1. 4. 0. 0. 0.) 8.) ((7. 5. 2. 9. 6. 
3. 0. 4. 1. 0. 0. 0.) 8.) ((7. 5. 2. 9. 6. 4. 0. 1. 3. 0. 0. 0.) 8.) ((7. 
5. 3. 8. 6. 4. 2. 0. 0. 0. 0. 1.) 8.) ((7. 5. 3. 8. 6. 4. 0. 1. 0. 0. 2. 
0.) 8.) ((7. 5. 3. 9. 6. 4. 2. 0. 0. 0. 1. 0.) 8.) ((7. 5. 3. 9. 6. 4. 
0. 1. 0. 2. 0. 0.) 8.) ((7. 5. 3. 9. 6. 0. 2. 4. 1. 0. 0. 0.) 8.) ((7. 
5. 8. 2. 4. 6. 3. 0. 0. 0. 0. 1.) 8.) ((7. 5. 8. 2. 4. 6. 0. 0. 1. 3. 0. 
0.) 8.) ((7. 5. 8. 2. 0. 3. 6. 4. 1. 0. 0. 0.) 8.) ((7. 5. 8. 2. 0. 6. 
3. 1. 4. 0. 0. 0.) 8.) ((7. 5. 10. 2. 4. 6. 3. 0. 0. 1. 0. 0.) 8.) ((7. 
5. 10. 2. 4. 6. 0. 3. 1. 0. 0. 0.) 8.) ((7. 5. 10. 2. 6. 3. 0. 4. 1. 0. 
0. 0.) 8.) ((7. 9. 3. 5. 2. 4. 6. 0. 0. 0. 1. 0.) 8.) ((7. 9. 3. 5. 2. 
0. 6. 4. 1. 0. 0. 0.) 8.) ((7. 9. 3. 6. 2. 0. 5. 1. 4. 0. 0. 0.) 8.) ((7. 
9. 3. 8. 2. 4. 6. 1. 0. 0. 0. 0.) 8.) ((7. 9. 4. 2. 5. 3. 6. 0. 0. 0. 1. 
0.) 8.) ((7. 9. 4. 2. 5. 0. 6. 1. 3. 0. 0. 0.) 8.) ((7. 9. 4. 2. 8. 6. 
3. 1. 0. 0. 0. 0.) 8.) ((7. 10. 3. 5. 2. 4. 6. 0. 0. 1. 0. 0.) 8.) ((7. 
10. 3. 6. 2. 5. 0. 1. 4. 0. 0. 0.) 8.) ((7. 10. 4. 2. 5. 3. 6. 0. 0. 1. 
0. 0.) 8.) ((7. 10. 4. 2. 8. 5. 3. 1. 0. 0. 0. 0.) 8.) ((8. 3. 5. 7. 2. 
4. 6. 0. 0. 0. 1. 0.) 8.) ((8. 3. 5. 7. 2. 0. 6. 4. 1. 0. 0. 0.) 8.) ((8. 
4. 2. 7. 3. 6. 0. 5. 1. 0. 0. 0.) 8.) ((8. 4. 7. 3. 6. 2. 5. 0. 0. 0. 0. 
1.) 8.) ((8. 4. 7. 3. 6. 2. 0. 5. 0. 0. 1. 0.) 8.) ((8. 4. 9. 3. 6. 2. 
0. 5. 1. 0. 0. 0.) 8.) ((8. 5. 2. 6. 3. 7. 4. 0. 0. 0. 1. 0.) 8.) ((8. 
5. 2. 6. 3. 7. 0. 4. 0. 1. 0. 0.) 8.) ((8. 5. 2. 9. 3. 6. 4. 0. 1. 0. 0. 
0.) 8.) ((8. 5. 3. 9. 7. 2. 4. 0. 1. 0. 0. 0.) 8.) ((8. 6. 3. 9. 2. 5. 
0. 4. 1. 0. 0. 0.) 8.) ((8. 6. 4. 2. 7. 5. 3. 0. 0. 0. 0. 1.) 8.) ((8. 
6. 4. 2. 7. 5. 0. 0. 1. 3. 0. 0.) 8.) ((8. 6. 4. 2. 7. 0. 3. 5. 0. 1. 0. 
0.) 8.)))
(((2. 5. 7. 9. 3. 6. 4. 1. 0. 0. 0. 0.) 8.) ((2. 5. 7. 9. 4. 6. 1. 3. 
0. 0. 0. 0.) 8.) ((2. 5. 8. 4. 7. 3. 6. 0. 1. 0. 0. 0.) 8.) ((2. 6. 9. 
7. 4. 1. 3. 5. 0. 0. 0. 0.) 8.) ((2. 7. 3. 6. 8. 5. 1. 4. 0. 0. 0. 0.) 
8.) ((2. 7. 5. 3. 8. 6. 4. 0. 1. 0. 0. 0.) 8.) ((2. 7. 5. 8. 1. 4. 6. 3. 
0. 0. 0. 0.) 8.) ((2. 9. 6. 3. 7. 4. 1. 5. 0. 0. 0. 0.) 8.) ((2. 9. 6. 
4. 7. 1. 3. 5. 0. 0. 0. 0.) 8.) ((3. 5. 7. 9. 4. 6. 1. 0. 2. 0. 0. 0.) 
8.) ((3. 6. 8. 1. 4. 7. 5. 2. 0. 0. 0. 0.) 8.) ((3. 6. 8. 1. 5. 7. 2. 4. 
0. 0. 0. 0.) 8.) ((3. 6. 9. 2. 5. 7. 4. 1. 0. 0. 0. 0.) 8.) ((3. 6. 9. 
5. 8. 1. 4. 2. 0. 0. 0. 0.) 8.) ((3. 6. 9. 7. 1. 4. 2. 5. 0. 0. 0. 0.) 
8.) ((3. 6. 10. 7. 4. 1. 5. 2. 0. 0. 0. 0.) 8.) ((3. 7. 2. 8. 6. 4. 1. 
5. 0. 0. 0. 0.) 8.) ((3. 7. 4. 8. 5. 2. 6. 0. 0. 1. 0. 0.) 8.) ((3. 7. 
10. 4. 6. 1. 5. 2. 0. 0. 0. 0.) 8.) ((3. 8. 4. 7. 1. 6. 2. 5. 0. 0. 0. 
0.) 8.) ((3. 8. 6. 4. 1. 7. 5. 0. 2. 0. 0. 0.) 8.) ((3. 8. 6. 4. 2. 7. 
5. 0. 0. 1. 0. 0.) 8.) ((3. 8. 6. 9. 2. 5. 1. 4. 0. 0. 0. 0.) 8.) ((3. 
9. 4. 8. 5. 2. 6. 1. 0. 0. 0. 0.) 8.) ((3. 9. 6. 2. 5. 7. 1. 4. 0. 0. 0. 
0.) 8.) ((3. 9. 6. 4. 1. 7. 5. 2. 0. 0. 0. 0.) 8.) ((3. 9. 6. 4. 2. 7. 
5. 0. 1. 0. 0. 0.) 8.) ((3. 9. 7. 2. 4. 6. 1. 5. 0. 0. 0. 0.) 8.) ((3. 
9. 7. 5. 2. 6. 1. 0. 4. 0. 0. 0.) 8.) ((3. 10. 4. 7. 5. 2. 6. 1. 0. 0. 
0. 0.) 8.) ((4. 6. 3. 9. 7. 5. 2. 0. 1. 0. 0. 0.) 8.) ((4. 6. 8. 2. 5. 
7. 0. 1. 3. 0. 0. 0.) 8.) ((4. 6. 8. 2. 7. 1. 3. 5. 0. 0. 0. 0.) 8.) ((4. 
6. 8. 3. 1. 7. 5. 2. 0. 0. 0. 0.) 8.) ((4. 6. 8. 3. 5. 7. 2. 0. 0. 0. 1. 
0.) 8.) ((4. 6. 8. 3. 5. 7. 0. 1. 0. 2. 0. 0.) 8.) ((4. 6. 8. 3. 7. 0. 
2. 5. 1. 0. 0. 0.) 8.) ((4. 6. 8. 5. 7. 1. 3. 0. 0. 0. 2. 0.) 8.) ((4. 
6. 8. 5. 7. 1. 0. 2. 0. 3. 0. 0.) 8.) ((4. 6. 9. 3. 5. 7. 2. 0. 0. 1. 0. 
0.) 8.) ((4. 6. 10. 2. 7. 5. 3. 1. 0. 0. 0. 0.) 8.) ((4. 6. 10. 5. 7. 1. 
3. 0. 2. 0. 0. 0.) 8.) ((4. 7. 3. 8. 6. 2. 0. 5. 1. 0. 0. 0.) 8.) ((4. 
7. 5. 8. 2. 0. 6. 3. 1. 0. 0. 0.) 8.) ((4. 7. 5. 8. 6. 1. 3. 0. 0. 0. 2. 
0.) 8.) ((4. 7. 5. 8. 6. 1. 0. 2. 0. 3. 0. 0.) 8.) ((4. 7. 9. 2. 6. 1. 
3. 5. 0. 0. 0. 0.) 8.) ((4. 7. 9. 3. 6. 2. 0. 5. 1. 0. 0. 0.) 8.) ((4. 
7. 9. 6. 2. 5. 1. 0. 0. 3. 0. 0.) 8.) ((4. 7. 9. 6. 3. 1. 0. 5. 2. 0. 0. 
0.) 8.) ((4. 7. 10. 3. 6. 2. 5. 0. 1. 0. 0. 0.) 8.) ((4. 8. 3. 5. 7. 1. 
6. 0. 2. 0. 0. 0.) 8.) ((4. 8. 3. 5. 7. 2. 6. 0. 0. 1. 0. 0.) 8.) ((4. 
8. 3. 9. 6. 2. 5. 1. 0. 0. 0. 0.) 8.) ((4. 8. 10. 3. 6. 2. 5. 1. 0. 0. 
0. 0.) 8.) ((4. 8. 10. 5. 2. 6. 1. 3. 0. 0. 0. 0.) 8.) ((4. 9. 3. 5. 7. 
1. 6. 2. 0. 0. 0. 0.) 8.) ((4. 9. 3. 5. 7. 2. 6. 0. 1. 0. 0. 0.) 8.) ((4. 
9. 3. 6. 2. 7. 5. 1. 0. 0. 0. 0.) 8.) ((4. 9. 5. 8. 1. 3. 6. 2. 0. 0. 0. 
0.) 8.) ((4. 9. 5. 8. 2. 7. 3. 1. 0. 0. 0. 0.) 8.) ((4. 9. 7. 3. 1. 6. 
2. 5. 0. 0. 0. 0.) 8.) ((4. 9. 7. 5. 2. 6. 1. 0. 0. 3. 0. 0.) 8.) ((4. 
9. 7. 5. 3. 1. 6. 0. 0. 2. 0. 0.) 8.) ((4. 10. 7. 5. 3. 1. 6. 0. 2. 0. 
0. 0.) 8.) ((4. 10. 8. 5. 3. 1. 6. 2. 0. 0. 0. 0.) 8.) ((4. 11. 7. 3. 6. 
2. 5. 1. 0. 0. 0. 0.) 8.) ((4. 11. 7. 5. 2. 6. 1. 3. 0. 0. 0. 0.) 8.) ((5. 
2. 6. 9. 7. 4. 1. 3. 0. 0. 0. 0.) 8.) ((5. 2. 9. 6. 3. 7. 4. 1. 0. 0. 0. 
0.) 8.) ((5. 2. 9. 6. 4. 7. 1. 3. 0. 0. 0. 0.) 8.) ((5. 3. 6. 9. 7. 1. 
4. 2. 0. 0. 0. 0.) 8.) ((5. 3. 6. 9. 7. 2. 4. 0. 1. 0. 0. 0.) 8.) ((5. 
3. 6. 9. 7. 4. 1. 0. 2. 0. 0. 0.) 8.) ((5. 3. 8. 4. 7. 1. 6. 2. 0. 0. 0. 
0.) 8.) ((5. 3. 9. 6. 8. 2. 4. 1. 0. 0. 0. 0.) 8.) ((5. 3. 9. 7. 2. 4. 
6. 1. 0. 0. 0. 0.) 8.) ((5. 7. 2. 6. 8. 1. 4. 0. 3. 0. 0. 0.) 8.) ((5. 
7. 4. 6. 8. 2. 0. 3. 0. 0. 1. 0.) 8.) ((5. 7. 4. 6. 8. 2. 0. 0. 3. 1. 0. 
0.) 8.) ((5. 7. 4. 6. 8. 0. 1. 3. 0. 2. 0. 0.) 8.) ((5. 7. 9. 3. 6. 4. 
1. 0. 0. 0. 2. 0.) 8.) ((5. 7. 9. 3. 8. 2. 4. 0. 1. 0. 0. 0.) 8.) ((5. 
7. 9. 3. 8. 4. 1. 0. 2. 0. 0. 0.) 8.) ((5. 7. 9. 4. 2. 0. 6. 3. 1. 0. 0. 
0.) 8.) ((5. 7. 9. 4. 6. 1. 3. 0. 0. 0. 2. 0.) 8.) ((5. 7. 9. 4. 6. 1. 
0. 2. 0. 3. 0. 0.) 8.) ((5. 7. 9. 4. 8. 1. 3. 0. 2. 0. 0. 0.) 8.) ((5. 
7. 9. 6. 3. 1. 4. 0. 0. 0. 2. 0.) 8.) ((5. 7. 10. 3. 6. 4. 1. 0. 0. 2. 
0. 0.) 8.) ((5. 7. 10. 4. 6. 1. 3. 0. 0. 2. 0. 0.) 8.) ((5. 7. 10. 6. 3. 
1. 4. 0. 0. 2. 0. 0.) 8.) ((5. 7. 10. 6. 3. 1. 0. 4. 2. 0. 0. 0.) 8.) ((5. 
8. 2. 7. 3. 6. 0. 1. 4. 0. 0. 0.) 8.) ((5. 8. 2. 9. 3. 6. 4. 1. 0. 0. 0. 
0.) 8.) ((5. 8. 2. 9. 6. 3. 1. 4. 0. 0. 0. 0.) 8.) ((5. 8. 4. 7. 3. 6. 
2. 0. 0. 0. 0. 1.) 8.) ((5. 8. 4. 7. 3. 6. 0. 1. 0. 0. 2. 0.) 8.) ((5. 
8. 4. 7. 3. 0. 6. 1. 0. 2. 0. 0.) 8.) ((5. 8. 4. 7. 0. 2. 6. 1. 3. 0. 0. 
0.) 8.) ((5. 8. 4. 9. 3. 6. 2. 0. 0. 1. 0. 0.) 8.) ((5. 8. 4. 9. 7. 3. 
1. 0. 2. 0. 0. 0.) 8.) ((5. 8. 6. 3. 7. 2. 4. 0. 0. 0. 0. 1.) 8.) ((5. 
8. 6. 3. 7. 2. 0. 0. 4. 1. 0. 0.) 8.) ((5. 8. 6. 3. 0. 7. 1. 4. 2. 0. 0. 
0.) 8.) ((5. 8. 6. 4. 2. 7. 0. 3. 0. 0. 1. 0.) 8.) ((5. 8. 6. 4. 2. 7. 
0. 0. 3. 1. 0. 0.) 8.) ((5. 8. 6. 9. 3. 1. 4. 0. 0. 2. 0. 0.) 8.) ((5. 
8. 6. 9. 3. 1. 0. 4. 2. 0. 0. 0.) 8.) ((5. 8. 10. 3. 7. 2. 4. 1. 0. 0. 
0. 0.) 8.) ((5. 9. 2. 6. 8. 3. 1. 4. 0. 0. 0. 0.) 8.) ((5. 9. 4. 6. 8. 
2. 0. 1. 3. 0. 0. 0.) 8.) ((5. 9. 4. 6. 8. 3. 1. 0. 0. 2. 0. 0.) 8.) ((5. 
9. 6. 3. 7. 4. 1. 0. 0. 0. 2. 0.) 8.) ((5. 9. 6. 4. 2. 7. 3. 0. 0. 0. 1. 
0.) 8.) ((5. 9. 6. 4. 7. 1. 3. 0. 0. 0. 2. 0.) 8.) ((5. 9. 6. 4. 7. 1. 
0. 2. 0. 3. 0. 0.) 8.) ((5. 10. 2. 6. 3. 7. 4. 1. 0. 0. 0. 0.) 8.) ((5. 
10. 4. 6. 8. 3. 1. 0. 2. 0. 0. 0.) 8.) ((5. 10. 6. 4. 2. 7. 3. 0. 0. 1. 
0. 0.) 8.) ((5. 10. 6. 4. 2. 7. 0. 3. 1. 0. 0. 0.) 8.) ((5. 10. 6. 9. 2. 
4. 1. 3. 0. 0. 0. 0.) 8.) ((5. 10. 6. 9. 3. 1. 4. 2. 0. 0. 0. 0.) 8.) ((5. 
10. 8. 4. 2. 7. 3. 1. 0. 0. 0. 0.) 8.) ((5. 11. 4. 7. 3. 6. 2. 0. 1. 0. 
0. 0.) 8.) ((5. 11. 6. 3. 7. 2. 4. 0. 1. 0. 0. 0.) 8.) ((5. 11. 6. 3. 7. 
4. 1. 0. 2. 0. 0. 0.) 8.) ((5. 11. 6. 4. 7. 1. 3. 0. 2. 0. 0. 0.) 8.) ((6. 
2. 5. 8. 4. 7. 3. 0. 0. 1. 0. 0.) 8.) ((6. 2. 5. 8. 4. 7. 0. 3. 1. 0. 0. 
0.) 8.) ((6. 2. 9. 5. 8. 4. 1. 3. 0. 0. 0. 0.) 8.) ((6. 2. 10. 5. 7. 4. 
1. 3. 0. 0. 0. 0.) 8.) ((6. 3. 7. 2. 8. 5. 1. 4. 0. 0. 0. 0.) 8.) ((6. 
3. 7. 4. 8. 5. 2. 0. 0. 0. 1. 0.) 8.) ((6. 3. 7. 4. 8. 5. 0. 1. 0. 2. 0. 
0.) 8.) ((6. 3. 9. 4. 8. 5. 2. 0. 1. 0. 0. 0.) 8.) ((6. 3. 9. 7. 4. 2. 
0. 5. 1. 0. 0. 0.) 8.) ((6. 3. 9. 7. 5. 2. 0. 1. 4. 0. 0. 0.) 8.) ((6. 
3. 10. 4. 7. 5. 2. 0. 1. 0. 0. 0.) 8.) ((6. 3. 10. 7. 4. 2. 5. 0. 1. 0. 
0. 0.) 8.) ((6. 3. 10. 8. 5. 2. 4. 1. 0. 0. 0. 0.) 8.) ((6. 4. 2. 8. 5. 
7. 1. 3. 0. 0. 0. 0.) 8.) ((6. 4. 7. 5. 8. 2. 0. 3. 0. 0. 1. 0.) 8.) ((6. 
4. 7. 5. 8. 2. 0. 0. 3. 1. 0. 0.) 8.) ((6. 4. 7. 5. 8. 0. 1. 3. 0. 2. 0. 
0.) 8.) ((6. 4. 9. 5. 8. 2. 0. 3. 1. 0. 0. 0.) 8.) ((6. 4. 9. 7. 3. 0. 
2. 5. 1. 0. 0. 0.) 8.) ((6. 4. 9. 7. 5. 3. 1. 0. 0. 0. 2. 0.) 8.) ((6. 
4. 10. 7. 5. 2. 0. 1. 3. 0. 0. 0.) 8.) ((6. 4. 10. 7. 5. 3. 1. 0. 0. 2. 
0. 0.) 8.) ((6. 4. 10. 8. 3. 5. 2. 0. 1. 0. 0. 0.) 8.) ((6. 4. 10. 8. 5. 
3. 1. 0. 2. 0. 0. 0.) 8.) ((6. 8. 3. 5. 7. 2. 4. 0. 0. 0. 0. 1.) 8.) ((6. 
8. 3. 5. 7. 2. 0. 0. 4. 1. 0. 0.) 8.) ((6. 8. 3. 7. 4. 2. 5. 0. 0. 0. 0. 
1.) 8.) ((6. 8. 3. 7. 4. 2. 0. 5. 0. 0. 1. 0.) 8.) ((6. 8. 3. 7. 4. 0. 
1. 5. 0. 2. 0. 0.) 8.) ((6. 8. 3. 7. 0. 2. 5. 1. 4. 0. 0. 0.) 8.) ((6. 
8. 5. 2. 4. 7. 0. 3. 0. 0. 1. 0.) 8.) ((6. 8. 5. 2. 4. 7. 0. 0. 3. 1. 0. 
0.) 8.) ((6. 8. 5. 2. 0. 7. 4. 1. 3. 0. 0. 0.) 8.) ((6. 9. 2. 4. 8. 3. 
5. 0. 1. 0. 0. 0.) 8.) ((6. 9. 2. 5. 7. 4. 1. 0. 0. 3. 0. 0.) 8.) ((6. 
9. 2. 8. 5. 3. 1. 0. 4. 0. 0. 0.) 8.) ((6. 9. 3. 5. 7. 4. 1. 0. 0. 0. 2. 
0.) 8.) ((6. 9. 3. 5. 8. 4. 1. 0. 0. 2. 0. 0.) 8.) ((6. 9. 3. 8. 4. 2. 
0. 5. 1. 0. 0. 0.) 8.) ((6. 9. 5. 2. 4. 7. 3. 0. 0. 0. 1. 0.) 8.) ((6. 
9. 5. 2. 8. 3. 0. 4. 1. 0. 0. 0.) 8.) ((6. 9. 7. 2. 8. 3. 1. 4. 0. 0. 0. 
0.) 8.) ((6. 10. 2. 5. 8. 4. 1. 3. 0. 0. 0. 0.) 8.) ((6. 10. 2. 7. 5. 3. 
1. 0. 4. 0. 0. 0.) 8.) ((6. 10. 3. 5. 8. 2. 4. 0. 1. 0. 0. 0.) 8.) ((6. 
10. 3. 5. 8. 4. 1. 0. 2. 0. 0. 0.) 8.) ((6. 10. 3. 7. 4. 2. 0. 5. 1. 0. 
0. 0.) 8.) ((6. 10. 5. 2. 4. 7. 3. 0. 0. 1. 0. 0.) 8.) ((6. 10. 5. 2. 4. 
7. 0. 3. 1. 0. 0. 0.) 8.) ((6. 11. 2. 5. 7. 4. 1. 3. 0. 0. 0. 0.) 8.) ((6. 
11. 2. 7. 5. 3. 1. 4. 0. 0. 0. 0.) 8.) ((6. 11. 3. 5. 7. 2. 4. 0. 1. 0. 
0. 0.) 8.) ((6. 11. 3. 5. 7. 4. 1. 0. 2. 0. 0. 0.) 8.) ((6. 11. 3. 7. 4. 
2. 5. 0. 1. 0. 0. 0.) 8.) ((7. 2. 4. 6. 8. 3. 5. 0. 0. 1. 0. 0.) 8.) ((7. 
2. 4. 6. 8. 5. 0. 1. 3. 0. 0. 0.) 8.) ((7. 3. 6. 9. 2. 5. 0. 4. 1. 0. 0. 
0.) 8.) ((7. 3. 8. 2. 4. 6. 0. 5. 1. 0. 0. 0.) 8.) ((7. 3. 8. 6. 2. 0. 
5. 1. 4. 0. 0. 0.) 8.) ((7. 4. 2. 5. 8. 6. 3. 0. 0. 1. 0. 0.) 8.) ((7. 
4. 2. 5. 8. 6. 0. 3. 1. 0. 0. 0.) 8.) ((7. 4. 2. 9. 6. 3. 5. 0. 1. 0. 0. 
0.) 8.) ((7. 4. 6. 8. 2. 5. 3. 0. 0. 0. 0. 1.) 8.) ((7. 4. 6. 8. 2. 5. 
0. 0. 1. 3. 0. 0.) 8.) ((7. 4. 6. 9. 2. 5. 3. 0. 0. 0. 1. 0.) 8.) ((7. 
4. 6. 9. 2. 0. 5. 3. 1. 0. 0. 0.) 8.) ((7. 4. 8. 3. 0. 6. 2. 5. 1. 0. 0. 
0.) 8.) ((7. 4. 8. 5. 2. 6. 3. 0. 0. 0. 0. 1.) 8.) ((7. 4. 8. 5. 2. 6. 
0. 0. 1. 3. 0. 0.) 8.) ((7. 4. 10. 5. 2. 6. 3. 0. 0. 1. 0. 0.) 8.) ((7. 
4. 10. 5. 2. 6. 0. 3. 1. 0. 0. 0.) 8.) ((7. 4. 10. 8. 2. 5. 3. 1. 0. 0. 
0. 0.) 8.) ((7. 5. 2. 8. 6. 0. 3. 1. 4. 0. 0. 0.) 8.) ((7. 5. 2. 9. 6. 
3. 0. 4. 1. 0. 0. 0.) 8.) ((7. 5. 2. 9. 6. 4. 0. 1. 3. 0. 0. 0.) 8.) ((7. 
5. 3. 8. 6. 4. 2. 0. 0. 0. 0. 1.) 8.) ((7. 5. 3. 8. 6. 4. 0. 1. 0. 0. 2. 
0.) 8.) ((7. 5. 3. 9. 6. 4. 2. 0. 0. 0. 1. 0.) 8.) ((7. 5. 3. 9. 6. 4. 
0. 1. 0. 2. 0. 0.) 8.) ((7. 5. 3. 9. 6. 0. 2. 4. 1. 0. 0. 0.) 8.) ((7. 
5. 8. 2. 4. 6. 3. 0. 0. 0. 0. 1.) 8.) ((7. 5. 8. 2. 4. 6. 0. 0. 1. 3. 0. 
0.) 8.) ((7. 5. 8. 2. 0. 3. 6. 4. 1. 0. 0. 0.) 8.) ((7. 5. 8. 2. 0. 6. 
3. 1. 4. 0. 0. 0.) 8.) ((7. 5. 10. 2. 4. 6. 3. 0. 0. 1. 0. 0.) 8.) ((7. 
5. 10. 2. 4. 6. 0. 3. 1. 0. 0. 0.) 8.) ((7. 5. 10. 2. 6. 3. 0. 4. 1. 0. 
0. 0.) 8.) ((7. 9. 3. 5. 2. 4. 6. 0. 0. 0. 1. 0.) 8.) ((7. 9. 3. 5. 2. 
0. 6. 4. 1. 0. 0. 0.) 8.) ((7. 9. 3. 6. 2. 0. 5. 1. 4. 0. 0. 0.) 8.) ((7. 
9. 3. 8. 2. 4. 6. 1. 0. 0. 0. 0.) 8.) ((7. 9. 4. 2. 5. 3. 6. 0. 0. 0. 1. 
0.) 8.) ((7. 9. 4. 2. 5. 0. 6. 1. 3. 0. 0. 0.) 8.) ((7. 9. 4. 2. 8. 6. 
3. 1. 0. 0. 0. 0.) 8.) ((7. 10. 3. 5. 2. 4. 6. 0. 0. 1. 0. 0.) 8.) ((7. 
10. 3. 6. 2. 5. 0. 1. 4. 0. 0. 0.) 8.) ((7. 10. 4. 2. 5. 3. 6. 0. 0. 1. 
0. 0.) 8.) ((7. 10. 4. 2. 8. 5. 3. 1. 0. 0. 0. 0.) 8.) ((8. 3. 5. 7. 2. 
4. 6. 0. 0. 0. 1. 0.) 8.) ((8. 3. 5. 7. 2. 0. 6. 4. 1. 0. 0. 0.) 8.) ((8. 
4. 2. 7. 3. 6. 0. 5. 1. 0. 0. 0.) 8.) ((8. 4. 7. 3. 6. 2. 5. 0. 0. 0. 0. 
1.) 8.) ((8. 4. 7. 3. 6. 2. 0. 5. 0. 0. 1. 0.) 8.) ((8. 4. 9. 3. 6. 2. 
0. 5. 1. 0. 0. 0.) 8.) ((8. 5. 2. 6. 3. 7. 4. 0. 0. 0. 1. 0.) 8.) ((8. 
5. 2. 6. 3. 7. 0. 4. 0. 1. 0. 0.) 8.) ((8. 5. 2. 9. 3. 6. 4. 0. 1. 0. 0. 
0.) 8.) ((8. 5. 3. 9. 7. 2. 4. 0. 1. 0. 0. 0.) 8.) ((8. 6. 3. 9. 2. 5. 
0. 4. 1. 0. 0. 0.) 8.) ((8. 6. 4. 2. 7. 5. 3. 0. 0. 0. 0. 1.) 8.) ((8. 
6. 4. 2. 7. 5. 0. 0. 1. 3. 0. 0.) 8.) ((8. 6. 4. 2. 7. 0. 3. 5. 0. 1. 0. 
0.) 8.)) 
(do ((l foo (cdr l))
     (l1 nil (if (not ( = (cadar l) 8)) (cons (car l) l1) l1)))
    ((null l) l1))
;Loading MLMAC 85
NIL 
(test 13 9)